
label {
    display: block;
    padding: 0.25em;
}

label[mini] {
    padding: 0;
}

pre {
    white-space: pre-wrap;
    margin: 0;
}